TSTP Solution File: NUM636^2 by SETHEO---3.3